#ifndef __USER_GPIO_H__
#define __USER_GPIO_H__

#include <sys/param.h>

#include "driver/gpio.h"

#define ON 1
#define OFF 0

#define GPIO_INPUT_GREEN        16
#define GPIO_INPUT_YELLOW     14
#define GPIO_INPUT_RED              12
#define GPIO_INPUT_DOOR          13
#define GPIO_INPUT_BACKUP       4
#define GPIO_INPUT_PIN_SEL  ( (1ULL<<GPIO_INPUT_GREEN)  \
                                                                | (1ULL<<GPIO_INPUT_YELLOW) \
                                                                | (1ULL<<GPIO_INPUT_RED) \
                                                                | (1ULL<<GPIO_INPUT_DOOR) \
                                                                | (1ULL<<GPIO_INPUT_BACKUP) )

#define GPIO_OUTPUT_LED           5
#define GPIO_OUTPUT_PIN_SEL       (1ULL<<GPIO_OUTPUT_LED)

void gpio_config_init(void);
uint32_t get_state(void);

void led_switch(int isOn);
void led_toggle(void);
#endif

